$\forall$${\it es}$:ES, $e$:E. state after $e$ $\in$ state@loc($e$)